temporal logic language meaning in English

时序逻辑语言

We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy
由于构件可能具有不同的抽象层次和粒度，我们采用了时序逻辑语言xyz e作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。